图同构的交互式 证明系统 graph isomorphism: 同构system isomorphism: 系统同构interactive system: 对话系统; 交互系统; 人机联作系统resolution proof graph: 分解证明图proof system: 证明系统下载手机词典可随时随地查词查翻译
